$\forall$$x$, $y$:$\mathbb{N}$$_{\mbox{\scriptsize $<$3}}$. rps($x$;$y$) $\in$ $\mathbb{B}$